101. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses

رده :
BF
311
.
I5664
1996

102. Language and automata theory and applications :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018

103. Large-Scale optimization with applications

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Mathematical optimization - Congresses , Programming )Mathematics( - Congresses , Inverse problems )Differential equations( - Congresses , Engineering design - Congresses , Molecular structure - Mathematical models - Congresses

رده :
QA
402
.
5
.
L356
1995

104. Large - Scale perturbations of magnetohydrodynamic regimes

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع: Mathematical optimization - Congresses,Programming (mathematics) - Congresses,Inverse problems (differential equations) - Congresses,Engineering design - Congresses,Molecular structure - Mathematical models - Congresses

رده :
QA
,
402
.
5
,.
Z54L2
,
2011

105. Large-scale optimization with applications

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mathematical optimization- Congresses,Programming (Mathematics)- Congresses,Inverse problems (Differential equations)- Congresses,Engineering design- Congresses,Molecular structure- Mathematical models- Congresses

رده :
‭
QA402
.
5
‬ ‭.
L356
1997
‬

106. Large - Scale optimization with applications

پدیدآورنده :

موضوع : Mathematical optimization - Congresses,Programming (mathematics) - Congresses,Inverse problems (differential equations) - Congresses,Engineering design - Congresses,Molecular structure - Mathematical models - Congresses

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

107. Large-scale optimization with applications

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,، Molecular structure

رده :
QA
402
.
5
.
L3

108. Large-scale optimization with applications

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,Mathematical models - Congresses ، Molecular structure

رده :
QA
402
.
5
.
L356
1997

109. Logic and computer science

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :
QA
9
.
L6
1990

110. Logic and computer science

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses

رده :
QA
9
.
A1L6
1990

111. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :
QA
3
.
L28
Vol
.
1429

112. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :
QA
3
.
L28
no
.
1429

113. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses

رده :
QA
3
.
L28
no
.
1429

114. Lorge-Scale Optimization with applications

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses

رده :
QA
402
.
5
.
L356
1997

115. Lorge-Scale Optimization with applications

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses

رده :
QA
402
.
5
.
L356
1997

116. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming

رده :
QA
76
.
L28
Vol
.
185-186

117. Mathematical and engineering methods in computer science

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses

رده :
QA75
.
5
.
M46
2011eb

118. Mathematical and statistical methods for actuarial sciences and finance :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Finance-- Mathematical models, Congresses.,Finance-- Statistical methods, Congresses.,Insurance-- Mathematical models, Congresses.,Insurance-- Statistical methods, Congresses.,BUSINESS & ECONOMICS-- Insurance-- Risk Assessment & Management.,Econometrics.,Economics.,Finance.,Mathematics.,Optimization.,Probability & statistics.

رده :
HG8781

119. Mathematical developments arising from linear programming : proceedings of a joint summer research conference held at Bowdoin College, June 25-July 1, 1988

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Mathematical programming-- Congresses,، Linear programming-- Congresses

رده :
QA
402
.
5
.
A454
1988

120. Mathematical foundations of computer science 2012

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
S96
2012eb